Angus J. Macintyre, H.Simmons; "Gödel's diagonalization technique and related properties of theories."